1. Engineering Secure Software and Systems :
پدیدآورنده : edited by Jan Jürjens, Benjamin Livshits, Riccardo Scandariato.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer Communication Networks.,Computer science.,Software engineering.
2. FM 2012
پدیدآورنده : Dimitra Giannakopoulou, Dominique Méry (eds.)
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer software-- Development, Congresses,Formal methods (Computer science), Congresses,Software engineering, Congresses
رده :
QA76
.
76
.
D47
I593
2012eb
3. International Symposium on Programming :
پدیدآورنده : edited by Bernard Robinet.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer science.
رده :
QA76
.
6
E358
1980
4. International Symposium on Programming : proceedings
پدیدآورنده : edited by B. Robinet
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Computer programming
رده :
QA
76
.
L28
Vol
.
83
5. International Symposium on Programming : proceedings of the fourth Colloque international sur la programmation, Paris, 22-24 April 1980
پدیدآورنده : International Symposium on Programming, 4th, 0891, Paris
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Electronic digital computers-- Programming-- Congresses
رده :
QA
76
.
6
.
I575
1980
6. International Symposium on Programming : proceedings of the fourth Colloque international sur la programmation, Paris, 22-24 April 1980
پدیدآورنده : edited by B. Robinet
کتابخانه: Central Library and Documentation Center (Kerman)
موضوع : Congresses ، Electronic digital computers - Programming
رده :
QA
76
.
L4
v
.
83
7. Programing Symposium, proceedings, colloque sur la programmation, Paris, April, 9-11, 1974
پدیدآورنده : edited by B. Robinet
کتابخانه: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
موضوع : Programming - Congresses ، Electronic digital computers
رده :
QA
76
.
6
.
P7517
1974
8. Programming Symposium :
پدیدآورنده : edited by B. Robinet.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer programming -- Congresses.,Computer programming.
رده :
QA76
.
6
E358
1974
9. Programming Symposium; Proceedings. Colloque sur Is programmation, Paris, April 9-11, 1974
پدیدآورنده : / Edited by B. Robinet
کتابخانه: Central Library and Archive Center of shahid Beheshti University (Tehran)
موضوع : Electronic digital computers - Programming - Congresses
رده :
001
.
642
P964p
1974
10. Programming Symposium; proceedings. Colloque sur la programmation, Paris, April 9-11, 1974
پدیدآورنده : Programming Symposium, 4791, Paris
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Electronic digital computers-- Programming-- Congresses
رده :
QA
76
.
6
.
P7517
1974
11. Programming Symposium; proceedings. Colloque sur la programmation, Paris, April 9-11, 1974
پدیدآورنده : Edited by B. Robinet
کتابخانه: Library of College of Science University of Tehran (Tehran)
موضوع : Congresses ، Electronic digital computers -- Programming
رده :
QA
76
.
6
.
P7517
1974
12. Selected papers of the Symposium on Operations Research :
پدیدآورنده : (SOR '99). K. Inderfurth ... (ed.). [GOR, Gesellschaft für Operations-Research e.V.].
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Magdeburg 1999.,Operations Research -- Kongress.
13. Static analysis : 8th International Symposium, SAS 2001, Paris, France, July 16-18, 2001 : proceedings
پدیدآورنده : Patrick Cousot )ed.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Computer programming,Congresses ، Programming languages )Electronic computers(
رده :
QA
76
.
L28
Vol
.
2126
14. Static analysis : 4th International Symposium, SAS'97, Paris, France, September 8-10, 1997 : proceedings
پدیدآورنده : Pascal van Hentenryck )ed.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Computer programming,Congresses ، Programming languages )Electronic computers(
رده :
QA
76
.
L28
Vol
.
1302
15. Unifying theories of programming :
پدیدآورنده : Burkhart Wolff, Marie-Claude Gaudel, Abderrahmane Feliachi (eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer programming -- Congresses.,computerkunde.,software engineering.
رده :
QA76
.
6
B875
2013
